nLab Felix Cherubini

(previously: Felix Wellen)

• Website

Selected writings

• Formalizing Cartan Geometry in Modal Homotopy Type Theory

  PhD Thesis

  HoTT-Agda code: DCHoTT-Agda.

On modal homotopy type theory (such as concerning homotopy n-types/n-truncation modality and covering spaces):

• Felix Cherubini, Egbert Rijke, Modal Descent, Mathematical Structures in Computer Science 31 4 (2021) 363-391 [doi:10.1017/S0960129520000201, arXiv:2003.09713]

On synthetic algebraic geometry:

• Felix Cherubini, Thierry Coquand, Matthias Hutzler, A Foundation for Synthetic Algebraic Geometry (2023) [arXiv:2307.00073]

• Felix Cherubini, A Foundation for Synthetic Algebraic Geometry, talk at Homotopy Type Theory Electronic Seminar Talks (Oct 2023) [slides:pdf, video:YT]

On projective spaces in synthetic algebraic geometry:

• Felix Cherubini, Thierry Coquand, Matthias Hutzler, David Wärn: Projective Space in Synthetic Algebraic Geometry [arxiv:2405.13916]

On synthetic Stone duality:

• Felix Cherubini, Thierry Coquand, Freek Geerligs, Hugo Moeneclaey, A Foundation for Synthetic Stone Duality (arXiv:2412.03203)

category: people